from .automata import Context